Functional calculus - PDFSEARCH.IO - Document Search Engine

Functional calculus
Results: 647

#	Item
11	PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama Add to Reading List Source URL: www.acm.org Language: English - Date: 2016-06-08 12:49:34 Software engineering Declarative programming Computer programming Functional programming Theoretical computer science Data types Type theory Computability theory Lambda calculus Recursion Algebraic data type Anonymous function
12	Error of the two-step BDF for the incompressible Navier-Stokes problem Etienne Emmrich Preprint No. 741 Add to Reading List Source URL: www.math.tu-berlin.de Language: English - Date: 2012-02-06 05:31:13 Mathematical analysis Mathematics Calculus Operator theory Functional analysis Partial differential equations Distribution Differential forms on a Riemann surface NeumannPoincar operator
13	arXiv:0712.2401v1 [math.PR] 14 DecLarge Deviations for Riesz Potentials of Additive Processes Richard Bass∗ Xia Chen† Jay Rosen‡ February 18, 2013 Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-02-22 14:37:37 Mathematics Mathematical analysis Algebra Spectral theory Holomorphic functional calculus Table of stars with Bayer designations
14	Evolution of Partial Evaluators: Removing Inherited Limits Torben . Mogensen DIKU, University of Copenhagen, Denmark Abstract. We show the evolution of partial evaluators over the past ten Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:37 Software engineering Functional programming Lambda calculus Computing Computer programming Control flow Eval Anonymous function Apply
15	TRUTH FUNCTIONAL CONNECTIVES. Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Logic Philosophy Abstraction Logical connectives Atomic sentence Propositional calculus Logical truth Truth function Truth value Logical disjunction If and only if Negation
16	User Interaction with the Matita Proof Assistant Andrea Asperti (), Claudio Sacerdoti Coen (), Enrico Tassi () and Stefano Zacchiroli () Departm Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-25 11:04:13 Automated theorem proving Software Theoretical computer science Proof assistants Functional languages Type theory Matita Formal methods Calculus of constructions Mathematical proof Automated reasoning Theorem
17	Noncritical Belyi Maps.pdf Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2011-11-07 02:24:52 Mathematics Mathematical analysis Differential forms Calculus Constructible universe Closed and exact differential forms Functional analysis Differential forms on a Riemann surface Net
18	Revised6 Report on the Algorithmic Language Scheme MICHAEL SPERBER R. KENT DYBVIG, MATTHEW FLATT, ANTON VAN STRAATEN (Editors) RICHARD KELSEY, WILLIAM CLINGER, JONATHAN REES Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-10-24 08:58:58 Software engineering Computer programming Computing Subroutines Functional languages Functional programming Lambda calculus Computability theory Scheme Lisp Closure Anonymous function
19	Problem Solving, Programming, and Calculation Björn Lisper School of Innovation, Design, and Engineering Mälardalen University http://www.idt.mdh.se/˜blr/ Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2015-04-12 17:46:16 Software engineering Computer programming Computing Recursion Lambda calculus Computability theory Theoretical computer science Programming idioms Functional programming Function Subroutine Fixed-point combinator
20	1597 Documenta Math. Non-Supramenable Groups Acting on Locally Compact Spaces Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2013-12-06 05:19:43 Geometry Mathematics Algebra Geometric group theory Topological groups Amenable group Riemann surfaces Orbifold Holomorphic functional calculus

UPDATE